2015 IEEE Intelligent Vehicles Symposium (IV) June 28 - July 1, 2015. COEX, Seoul, Korea Pedestrian Detection Based on Deep Convolutional Neural Network with Ensemble Inference Network Hiroshi Fukui

Source URL: www.murase.m.is.nagoya-u.ac.jp

From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009

Source URL: www.lix.polytechnique.fr

• Logic
• Mathematical logic
• Proof theory
• Sequent
• Rule of inference
• Natural deduction
• Propositional calculus
• Deep inference
• Theorem
• Intuitionistic logic
• Formal proof
• Inference

Big DataConference Program Monday, August 22 9:00-9:50am Yiling Chen, Harvard University Title: “Machine Learning with Strategic Data Sources”

Source URL: cmsa.fas.harvard.edu

• Statistics
• Statistical theory
• Bayesian statistics
• Bayesian inference
• Prior probability
• Robust Bayesian analysis
• Artificial neural network
• Deep learning
• Variational Bayesian methods
• Machine learning
• Naive Bayes classifier
• Bayesian network

Learning Natural Language Inference with LSTM Shuohang Wang School of Information Systems Singapore Management University

Source URL: arxiv.org

• Artificial neural networks
• Long short-term memory
• Artificial intelligence
• Recurrent neural network
• Word embedding
• Word2vec
• Automatic summarization
• Textual entailment
• Deep learning

Sensing Urban Space: from Street View Recognition, Event Inference to Understand Urban Behavior Fan Zhang1, Hui Lin12*, 1The Chinese University of Hong Kong, Shatin, New Territories, Hong Kong 2The Chinese University of

Source URL: ncgia.buffalo.edu

• Computational neuroscience
• Artificial neural networks
• Computer vision
• Deep learning
• Formal sciences
• Convolutional neural network
• Conference on Computer Vision and Pattern Recognition
• Image segmentation
• Urban design
• Artificial intelligence
• Spatial analysis

Microsoft Word - MSc in Applied Statisticsoutline.docx

Source URL: www.stats.ox.ac.uk

• Bayesian statistics
• Statistical inference
• Statistical models
• Estimation theory
• Computational statistics
• Bayesian network
• Coalescent theory
• Bayesian
• Markov chain Monte Carlo
• Particle filter
• Ensemble learning
• Deep learning

Deep Learning and Structural Kernels for Semantic Inference: Question Answering Applications to Formal Text and Web Forums

Source URL: www.dialog-21.ru

• Computational linguistics
• Natural language processing
• Machine learning
• Artificial neural networks
• Deep learning
• Word2vec
• Question answering
• Textual entailment
• Outline of natural language processing
• Word embedding

Some considerations on the complexity of deep inference based on joint works with Alessio Guglielmi, Tom Gundersen, Michel Parigot Paola Bruscoli

Source URL: www.cs.bath.ac.uk

On the Proof Complexity of Cut-Free Bounded Deep Inference Anupam Das University of Bath Abstract. It has recently been shown that cut-free deep inference systems exhibit an exponential speed-up over cut-free sequent sy

Source URL: www.anupamdas.com

THE SIZE OF LINEAR DERIVATIONS IN DEEP INFERENCE ANUPAM DAS Abstract. In unit-free deep inference it is known that derivations comprising of just the logical rules (switch and medial) are polynomial in size. When units a

Source URL: www.anupamdas.com